Monads in double categories
نویسندگان
چکیده
منابع مشابه
Monads in double categories
Introduction The development of the formal theory of monads, begun in [23] and continued in [15], shows that much of the theory of monads [1] can be generalized from the setting of the 2-category Cat of small categories, functors and natural transformations to that of a general 2-category. The generalization, which involves defining the 2-category Mnd(K) of monads, monad maps and monad 2-cells ...
متن کاملMonads on Dagger Categories
The theory of monads on categories equipped with a dagger (a contravariant identity-on-objects involutive endofunctor) works best when all structure respects the dagger: the monad and adjunctions should preserve the dagger, and the monad and its algebras should satisfy the so-called Frobenius law. Then any monad resolves as an adjunction, with extremal solutions given by the categories of Kleis...
متن کاملCategories and Monads in HOL-Omega
We consider HOL-Omega, a recent extension by Homeier to the type system of the HOL theorem prover. We describe how it permits an implementation of categories, where we model the objects of a category as the types of HOL-Omega. This gives a “light-weight” implementation of categories into a theorem prover: we explore how this is sufficient for easily proving some non-trivial results of category ...
متن کاملMonads and Comonads in Module Categories
Let A be a ring and MA the category of A-modules. It is well known in module theory that for any A-bimodule B, B is an A-ring if and only if the functor − ⊗A B : MA → MA is a monad (or triple). Similarly, an A-bimodule C is an A-coring provided the functor − ⊗A C : MA → MA is a comonad (or cotriple). The related categories of modules (or algebras) of −⊗A B and comodules (or coalgebras) of − ⊗A ...
متن کاملClosed Categories Generated by Commutative Monads
The notion of commutative monad was denned by the author in [4]. The content of the present paper may briefly be stated: The category of algebras for a commutative monad can in a canonical way be made into a closed category, the two adjoint functors connecting the category of algebras with the base category are in a canonical way closed functors, and the frontand end-adjunctions are closed tran...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Pure and Applied Algebra
سال: 2011
ISSN: 0022-4049
DOI: 10.1016/j.jpaa.2010.08.003